-
1 не найден
Русско-английский научно-технический словарь переводчика > не найден
-
2 полное доказательство
complete proof мат.Русско-английский научно-технический словарь Масловского > полное доказательство
-
3 полное доказательство
Mathematics: complete proofУниверсальный русско-английский словарь > полное доказательство
-
4 полное доказательство ещё не найдено
Mathematics: complete proof is not yet at handУниверсальный русско-английский словарь > полное доказательство ещё не найдено
-
5 совмещённая красочная проба карты
Cartography: complete proof mapУниверсальный русско-английский словарь > совмещённая красочная проба карты
-
6 строгое обоснование
1) Mathematics: complete proof2) Makarov: rigorous substantiationУниверсальный русско-английский словарь > строгое обоснование
-
7 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
8 доказательство завершено
Russian-English Dictionary "Microeconomics" > доказательство завершено
-
9 полное страхование
Таким образом, если страхование актуарно справедливо, то принимающее решение лицо производит полное страхование. — Thus, if insurance is actuarially fair, the decision maker insures completely.
В доказательстве результата полного страхования используются условия первого порядка, что является поучительным, но вовсе не обязательным. — The proof of the complete insurance result uses first-order conditions, which is instructive but not really necessarily.
страхование, актуарно справедливое — actuarially fair insurance
При актуарно несправедливом страховании необходимо показать, что если q > π, то принимающее решение лицо не производит полного страхования (т.е., принимает некоторый риск). — If insurance is not actuarially fair, you are asked to show that if q > π, then the decision maker will not fully insure (i.e., will accept some risk).
Russian-English Dictionary "Microeconomics" > полное страхование
-
10 завершать
(= завершить, заканчивать, оканчивать) complete, conclude• Итак, мы завершили наше обозрение... - We have now completed our survey of...• Мы завершаем (параграф) практическим советом. - We close with a practical hint.• Мы завершаем (этот параграф, главу) рассмотрением частного класса (чего-л). - We conclude by considering a particular class of...• Мы завершаем данную главу демонстрацией того, что... - We end this section by showing that...• Прежде чем мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Это завершает наше обсуждение... - This completes our discussion of...• Что и завершает наше доказательство, - This completes our proof.• Чтобы завершить доказательство, мы.. In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы завершить это решение, мы должны, complete the solution, we must...• Это завершает нахождение... - This completes the determination of... -
11 приводить
reduce, reduce to, bring, cite, deduce, list, adduce, enter• Были приведены дальнейшие аргументы, показавшие, что... - Further arguments were given which showed that...• Было бы легко привести значительно больше примеров... - It would be easy to give many more examples of...• В основном, различные подходы приводят к... - Different approaches will, in general, lead to...• В свою очередь это может привести к тому, что... - This in turn can lead to...• В таблице 1 мы приводим вместе все данные относительно... - In Table 1 we summarize the...• В этом приложении мы приводим результаты... - In this appendix we present the results of...• Все эти данные приводили к очевидному требованию, что... - All this evidence led to a clear requirement that...• Дальнейшее рассуждение затем привело бы к идее... - Further argument would then lead to the idea of...• Данная процедура может быть продолжена, она приводит к... - The procedure can be continued, yielding...• Здесь мы приводим другой пример (чего-л). - We give here another example of...• Здесь мы приводим некоторые формулы для... - Неге we give some formulae for...• Исследование каждого случая отдельно приводит к... - Examination of each individual case leads to...• Можно привести еще одно замечание. - One further observation may be made.• Мы можем привести геометрическую интерпретацию для... -It is possible to give a geometric interpretation of...• Мы не можем привести здесь полный ответ. - We cannot give a complete answer here.• Мы не приводим это рассуждение со всеми подробностями по следующим причинам. - We do not present this argument in detail for the following reasons.• Мы приводим ниже значения для... - We quote below the values of...• Мы теперь приведем приложение уравнения (5). - We now give an application of (5).• Это привело нас к предложению, что... - We are led to the suggestion that...• Наши рассуждения в предыдущем параграфе могли бы привести нас к предположению, что... - Our work in the previous section might lead us to suspect that...• Однако здесь можно привести очень грубый довод. - A very rough reason, however, can be given here.• Описанный здесь метод всегда приводит... - The procedure described here always yields...• Перед тем как продолжить приводить примеры, мы приведем важное замечание, что... - Before proceeding to give examples, we make the important observation that...• Подобные повреждения могут привести к потере... - Such injuries can result in a loss of...• Понятно, что только один этот процесс не мог бы привести к... - Clearly such a process alone could not lead to...• Предыдущее обсуждение приводит к идее, что... - The preceding discussion leads to the idea that...• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Приведем исключения, которые указывает Смит [1]. - Smith [1] points out certain exceptions as follows.• Приведем некоторый основной критерий для... - Let us list some major criteria for...• Приведем соответствующие численные величины:... - The corresponding numerical values are as follows:...• Приведем теперь пример, в котором... - We now give an example in which...• Процесс приводит к замене в... - The process leads to a change in...• Следовательно, мы обязаны попытаться развить теорию, которая приводит к... - Hence, we must try to develop a theory that leads to...• Смит [1] приводит убедительный пример существования... - Smith [l] makes a persuasive case for the existence of...• Сначала мы приведем некоторый дополнительный материал относительно... - We begin with some additional material relating to...• Сначала мы приведем один результат из... - We first quote a result from...• Такая практика приводит к серьезным недоразумениям. - This practice leads to serious confusion.• Тем не менее эта формальная работа привела к конкретному результату. - Nevertheless, this formal work has produced a concrete result. I• Тем самым нас довольно настойчиво приводит к идее, что... - This suggests quite strongly that...• Теперь мы приведем некоторые экспериментальные данные относительно... - We shall now give some experimental data concerning...• Теперь мы приведем список наиболее важных тождеств, включающих... - We shall now list the most important identities involving...• Теперь мы приведем явную характеристику... - We now give an explicit characterization of...• Теперь приведем несколько конкретных примеров. - A few concrete examples are in order.• Чтобы привести еще более простой пример, мы можем рассмотреть... - То take an even simpler example, we can consider...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Эти кажущиеся тривиальными результаты приводят к... - These seemingly trivial results lead to...• Эти результаты мы приводим в таблице 1 для трех значений г. - The results are set out in Table 1 for three values of r.• Это выражение можно привести к более удобному виду. - This expression can be put in a more convenient form.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это естественным образом приводило к различным схемам для... - It led naturally to various schemes for...• Это заключение базируется на тех же самых идеях, которые приводят к... - This conclusion is based on the same ideas that lead to...• Это могло бы также привести к лучшему пониманию... - This could also lead to a better understanding of...• Это не приведет к ошибке, потому что... - This will not give rise to confusion because...• Это не приводит ни к каким концептуальным трудностям, однако... - This introduces no conceptual difficulties, but...• Это нестрогое рассуждение приводит нас к... - This crude argument leads to...• Это позволяет нам привести уравнение (1) к следующему виду... - This enables us to reduce (1) to the form...• Это привело нескольких авторов к заключению, что... - This has led several authors to believe that...• Это приводит к возникновению так называемого... - This gives rise to the so-called...• Это приводит к возрастанию... - This involves an increase in...• Это приводит к выводу, что... - This carries the implication that...• Это приводит к концепции... - This leads to a conception in which...• Это приводит к новым концепциям. - This leads to new conceptions.• Это приводит к полезным методам обращения с... - This leads to useful ways of dealing with...• Это приводит к противоречию, и, следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Это приводит к рассмотрению темы... - This leads into the topic of...• Это приводит к следующему определению. - This motivates the following definition.• Это приводит к тому, что известно как... - This leads to what is known as...• Это приводит нас к важному свойству... - This leads us to an important property of...• Это приводит нас к идее постулировать существование... - This leads us to postulate the existence of...• Этот результат автоматически приводит к необходимости изучения... - This result automatically leads to a study of... -
12 полный
full, complete, total, perfect, whole, everywhere defined• А теперь мы обсудим это несколько полнее. - We now give a somewhat fuller discussion.• Безусловно, это полный список... - This is by no means an exhaustive list of...• Более полное обсуждение (вопроса) может быть найдено в литературе. - A fuller discussion can be found in the literature.• Данный результат находится в полном согласии с... - The result is in perfect agreement with...• Мы не можем привести здесь полный ответ. - We cannot give a complete answer here.• Относительно более полного описания предмета см. Найквист [1]. - For a fuller treatment of this subject, see Nyquist [1].• Полная теория показывает, что... - Detailed theory shows that...• Полный вывод дается Джонсом [1]. - The derivation is given in full by Jones [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Следовательно, полное решение имеет вид... - The complete solution is therefore...• Теперь у нас имеется полное решение для... - We now have a complete solution for...• Эта книга предназначена для того, чтобы дать практическим инженерам полное понимание... - This book is intended to give practicing engineers a thorough understanding of...• Эти замечания не будут полны без упоминания... - These remarks will not be complete without mentioning... -
13 показать
(= показывать) show, register, read, exhibit, reveal, depict, display, illustrate, indicate• Анализ этих уравнений показывает, что... - Inspection of these equations shows that...• Более совершенным рассуждением можно показать, что... - By a more refined argument it can be shown that...• Более того, данное обсуждение показывает, что... - The discussion shows, moreover, that...• Более точное вычисление показывает, что... - A more exact calculation shows that...• Быстро покажем, что... - It will be shown in a moment that...• В главе 2 мы вернемся к этому вопросу и попытаемся показать, что... - In Chapter 2 we shall return to this question and try to show that...• В предыдущем параграфе мы уже показали, как исследовать... - In the preceding section we have shown how to investigate...• Важно, что исследование также показывает, что... - Importantly, the study also shows that...• Нам остается лишь показать, что... - All that remains is to show that...• Вычисления показали, что... - Computations have shown that...• Далее будет показано, что... - It will be shown in the sequel that...• Далее можно показать, что... - It can further be shown that...• Далее, легко показать, что... - It is easy to show, furthermore, that...• Далее, мы показываем, что существуют функции, нарушающие это неравенство при к > 2... - Next, we show that there are functions which violate this inequality for к > 2.• Дальнейшее исследование, однако, показало, что... - Further investigation, however, has shown that...• Дальнейшее применение соотношения (1) показывает, что... - Further application of (1) shows that...• Данная формулировка показывает сразу несколько аспектов. - The formulation reveals several things.• Данные примеры должны показать, что... - These examples should make it clear that...• Данный подход показывает, что... - The present approach shows that...• Данный результат следует немедленно, если мы можем показать, что... - The result will follow immediately if we can show that...• Действительно, в этом случае мы могли бы показать, что... - Indeed, in this case, we may show that...• Довольно громоздкое вычисление показывает, что... - A somewhat lengthy computation shows that...• Еще более удивительным является пример, найденный Смитом [11], который показывает, что... - Even more startling is an example due to Smith [11], which shows that...• Еще раз, это показывает зависимость... - Again, this demonstrates the dependence of...• Здесь мы можем только показать, что... - We can show here only that...• Изучение... показывает, что... - Studies of... indicate that...• Используя определения F и G, легко показать, что... - It is a simple matter, using the definitions of F and G, to show that...• Используя эти соотношения, мы легко можем показать по индукции, что... - From these relations we can easily show by induction that...• Исследование уравнения (4) показывает, что... - An examination of (4) shows that...• Исследования показали важность... - The studies demonstrated the importance of...• Видимо, все это показывает, что... - All this seems to show that...• Как легко показать, используя..., этим можно полностью пренебречь. - It is utterly negligible, as we can easily show by...• Как показывает следующий пример, это не обязательно выполняется. - This is not necessarily the case, as the following example illustrates.• Как приложение данного результата, мы покажем, что... - As an application of this result, we show that...• Количественный анализ этих результатов показывает, что... - A quantitative analysis of these results shows that...• Легко показать, что... - It is easily shown that...• Легкое изменение приведенного выше рассуждения показывает, что... - A slight modification of the above reasoning shows that...• Метод анализа, намеченный в предыдущем абзаце, показывает... - The method of analysis outlined in the last paragraph shows...• Многие годы экспериментов показали, что... - Many years of experimentation have shown that...• Можно показать, что в целом это заключение является справедливым. - It can be shown that this conclusion is generally valid.• Можно показать, что они являются как достаточными, так и необходимыми. - It may be shown that they are sufficient as well as necessary.• Можно показать, что это эквивалентно условию... - This can be shown to be equivalent to the condition that...• Мы должны показать, что... - We have to show that...• Мы можем показать это на простом примере. - We can demonstrate this with a simple example.• Мы оставляем для самостоятельного решения задачу показать, что... - We leave it as a problem to show that...• Мы покажем теперь, что это не справедливо. - We shall now show that this is not the case.• Мы хотим явно показать, что... - We wish to show explicitly that...• На самом деле мы лишь показали, что... - We have in fact only shown that...• На самом деле мы можем показать, что... - We can show, in fact, that...• На самом деле, его исследование, похоже, показывает, что... - Actually his investigation seemed to show that...• Нам остается показать, что... - We need only to show that...; It remains for us to show that...• Намеченные выше вычисления показывают, что... - The calculations outlined above show that...• Например, мы покажем, что... - We shall show, for example, that...• Например, не слишком трудно показать, что... - For example, it is not too difficult to show that...• Например, экспериментально было показано, что... - For example, it has been shown experimentally that...• Наш простой пример показывает, что... - Our simple example demonstrates that...• Наши цифры показывают, что... - Our figures show that...• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Небольшое размышление показывает, что... - A moment's reflection will indicate that...• Недавние эксперименты показали, что... - Recent experiments have shown that...• Недавняя работа показала, что... - Recent work has shown that...• Недолгое размышление покажет, что... - A moment's thought will show that...• Несколько иное рассуждение показывает, что... - A slightly different argument shows that...• Общие наблюдения показывают... - It is a matter of common observation that...• Один тип... показан на рис. 2. - One type of... is shown in Figure 2.• Однако, мы хотим показать, что... - We wish to show, however, that...• Однако мы уже показали, что... - But we have already shown that...• Однако следующая теорема показывает, что... - The next theorem shows, however, that...• Он показал существование глобального по времени решения. - Не showed existence of a global-in-time weak solution.• Описанные здесь исследования показывают, что... - The studies described here show that...• Исторический опыт показывает, что... - Historical experience shows that...• Остается показать, что... - It remains to be shown that...• Оценка показывает, что... - It is estimated that...• Подобное же рассуждение показывает нам... - A similar argument will show that...• Подобные вычисления показывают, что... - Similar computations reveal that...• Подобным образом можно показать, что... - In like manner it can be shown that...• Подробный вывод показал бы, что... - A detailed derivation would show that...• Подстановка этой величины в уравнение (1) показывает, что... - Insertion of this value into equation (1) shows that...• Полная теория показывает, что... - Detailed theory shows that...• Помимо всего, нам необходимо показать, что... - Above all, we need to show that...• Помимо прочих следствий, данный результат показывает, что... - Among other things, this result shows that...• Последнее разложение показывает, что... - The latter expansion shows that...• Это может быть трудно показать на практике. - In practice this may be difficult to demonstrate.• Предварительные результаты показывают, что... - The preliminary results suggest that...• Пренебрегая этими эффектами, легко показать, что... - Neglecting these effects it is easy to show that...• Приведенный выше пример 2 показывает, что... - Example 2 above shows that...• Придерживаясь тех же обозначений, что и в первом параграфе, мы покажем, что... - With the same notation as in Section 1, we shall show that...• Применение данного метода показывает... - An application of this process shows...• Продолжая действовать так же, как в параграфе 1, мы можем показать, что... - Proceeding as in Section 1, we may show that...• Ранее мы показывали, что... - Earlier we showed that...• Рассуждение, приведенное в конце последней главы, показывает, что... - The argument at the end of the last chapter shows that...• Рассуждения Гильберта относительно этого уравнения показывают, что... - Hilbert's discussion of this equation shows that...• Реальные вычисления, однако, показывают, что... - Actual computations show, however, that...• Результат показан ниже. - The result is recorded below.• С другой стороны, эксперименты показывают, что... - On the other hand, experiments show that...• Следующая серия примеров (= иллюстраций) показывает... - The following series of illustrations shows...• Следующая теорема позволяет нам показать, что... - The following theorem enables us to show that...• Следующие задачи помогут показать, что важность... - The following problems will help show that importance of...• Следующие примеры покажут важность данного определения. - Examples will bring out the significance of this definition.• Следующий пример показывает, что... - The following example shows that...• Следующим шагом мы покажем, что... - Next it will be shown that...• Совершенно аналогичным образом можно показать, что... - It can be shown by an exactly similar process that...• Сравнение с точным результатом (2) показывает, что... - A comparison with the exact result (2) shows that...• Ссылка на уравнение (6) показывает, что... - Reference to equation (6) shows that...• Стандартные вычисления показывают, что... - A routine calculation shows that...• Таблицы данных показывают, что... - The tables show that...• Теоретические соображения показывают, что... - Theoretical considerations show that...• Теперь мы покажем, что допустимо (предполагать и т. п.)... - We shall now show that it is permissible to...• Термометр показывает 20 градусов ниже нуля. - The thermometer shows/reads 20 degrees below zero.• Типичный... показан на рис. 2. - A typical... is shown in Figure 2.• То же самое рассуждение показывает, что... - The same reasoning shows that...• То же самое рассуждение четко показывает, что... - The same reasoning evidently shows that...• То же самое рассуждение, что и выше, показывает, что... - The same argument as above shows that...• То, что мы показали, это... - What we have shown is that...• Только что проделанные вычисления показывают нам, что... - The result just calculated shows us that...• Рис. 2 показывает результаты, полученные... - Fig. 2 shows results obtained for Equation (2.8).• Цель заключается в том, чтобы показать, что... - The aim is to show that...• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы показать, что обратное несправедливо, мы должны... - То show that the converse is false, we must...• Чтобы показать, что это невозможно, давайте... - То show that this is not possible, let...• Чтобы это доказать, нам остается лишь показать, что... - То prove this we need only show that...• Эксперимент подтверждает это, однако также(= одновременно) показывает, что... - Experiment confirms this but also shows that...• Эксперимент показывает, что... - Experiment shows that...; Experiment tells us that...• Эксперименты с полупроводниками показывают, что... - Experiments with semiconductors show that...• Эти и многие другие примеры показывают, что... - These and many other examples show that...• Эти равенства позволяют нам показать, что... - These identities enable us to show that...• Эти рассуждения показывают нам, что... - These considerations show us that...• Эти результаты ясно показывают, что... - These results clearly show that...• Это доказательство легко переделывается для того, чтобы показать, что... - The proof is easily adapted to show that...• Это могло бы быть легко показано при использовании условия... - This may be shown readily by employing the condition that...• Это можно показать двумя методами. - This can be seen in two ways.• Это показывает (одно) важное ограничение (чего-л). - This demonstrates an important limitation of...• Это показывает еще раз, что... - This shows once more that...• Это показывает, что невозможно... - This shows that it is impossible to...• Это простое соотношение немедленно показывает, что... - This simple relation shows immediately that...• Это соотношение также показывает, что... - This relation also shows that...• Это ясно показано на рис. 1, которая представляет результаты (чего-л). - This is clearly demonstrated in Figure 1 which shows the results of...• Этот пример показывает, что может быть необходимым... - This example shows that it may be necessary to...• Этот рисунок четко показывает принципиальные различия между... - This figure clearly illustrates the basic differences between...• Этот эффект будет обсуждаться в главе 2, где будет показано, что... - This effect will be discussed in Chapter 2, where it will be shown that... -
14 доказательство завершено
Mathematics: proof is complete, the proof is doneУниверсальный русско-английский словарь > доказательство завершено
-
15 заканчивать доказательство
Mathematics: complete the proof (This completes the proof of the first part of the theorem; and the second is a triviality.)Универсальный русско-английский словарь > заканчивать доказательство
-
16 противоречие
(см. также противоречить) contradiction• Будем отыскивать противоречие с предположением, что... - We shall seek a contradiction to the assumption that...• Данное заключение находится в противоречии с мнением Смита [1], который... - This conclusion is at variance with that of Smith [1], who...• Здесь нет противоречия, поскольку... - There is no contradiction here because...• Итак, мы пришли к противоречию. - We have now reached a contradiction.• Мы пришли к противоречию и потому заключаем, что... - This is a contradiction and we conclude that...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Это приводит к противоречию, и, следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete. -
17 безусловный
1. ( абсолютный) absoluteбезусловное доказательство — absolute proof, proof positive
-
18 аксиома
* * *аксио́ма ж.
axiom, postulate, principleаксио́ма не тре́бует доказа́тельства — an axiom needs no proofпринима́ть аксио́му без доказа́тельства — accept an axiom as primitive and therefore not subject to proofпринима́ть в ка́честве аксио́мы — take smth. as an axiom, take as an axiom that …аксио́ма Архиме́да — axiom of Archimedes, Archimedean axiom, Archimedean assumptionаксио́ма вы́бора — axiom of choiceаксио́ма математи́ческой инду́кции — axiom of complete [perfect] inductionаксио́ма мо́щности — axiom of powerаксио́ма о паралле́льных — parallel axiomаксио́ма отдели́мости — axiom of separabilityаксио́ма полноты́ — completeness axiom, axiom of completenessаксио́ма сохране́ния — retention axiomаксио́ма счё́тности — denumberability axiomаксио́ма треуго́льника — triangle axiom -
19 безусловный
1) ( абсолютный) absolute; complete; ( безоговорочный) unconditionalбезусло́вное доказа́тельство — absolute proof, proof positive
безусло́вное повинове́ние — implicit obedience
2) ( несомненный) undoubted, indisputable••безусло́вный рефле́кс — unconditioned reflex
безусло́вное пра́во со́бственности юр. — absolute title; fee simple
безусло́вное де́нежное обяза́тельство фин. — single / simple bond / liability
-
20 аксиома
ж. axiom, postulate, principle
Страницы
- 1
- 2
См. также в других словарях:
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
Proof — • The establishment of a disputed or controverted matter by lawful means or arguments. Catholic Encyclopedia. Kevin Knight. 2006. Proof Proof … Catholic encyclopedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… … Wikipedia
Proof Of Destruction — (P.O.D.) is a computer game for the Commodore 64, developed by Mr. Chip Software and published by Mastertronic. It is a shooter, Centipede like game released in 1987, featuring up to two player spaceships moving about on a grid, trying to kill… … Wikipedia
Complete group — In mathematics, a group G is said to be complete if every automorphism of G is inner, and the group is a centerless group; that is, it has a trivial outer automorphism group and trivial center. Equivalently, a group is complete if the conjugation … Wikipedia
Complete theory — In mathematical logic, a theory is complete if it is a maximal consistent set of sentences, i.e., if it is consistent, and none of its proper extensions is consistent. For theories in logics which contain classical propositional logic, this is… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof (2005 film) — Infobox Film name = Proof caption = Promotional poster for Proof director = John Madden writer = David Auburn (play) Rebecca Miller (screenplay) starring = Gwyneth Paltrow Anthony Hopkins Jake Gyllenhaal Hope Davis producer = Alison Owen, Jeff… … Wikipedia
Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… … Wikipedia
Proof of Bertrand's postulate — In mathematics, Bertrand s postulate (actually a theorem) states that for each n ≥ 2 there is a prime p such that n < p < 2 n . It was first proven by Pafnuty Chebyshev, and a short but advanced proof was given by Srinivasa Ramanujan. The gist of … Wikipedia
